use vlc media player to convert avi to mp4